/*
 * Not much in the way of common css at the moment.  For now, we only have the
 * styles that give the compact "hanging indent" look of the logo.
 */
.logo {
  line-height: .75em;
  margin-top: 1ex;
}
.logo .line2 {
  padding-left: .5ex;
}
